appDisplay: Remove obsolete property

Since commit f09fbb19c, all app grids use pagination and the old
property is meaningless.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 574b9cd14a83a5b3afa0497c6131e75bce5e4f53..2d81a85164bd3e0ab657ebc2d8e9977f1301c9fb 100644 (file)
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -117,12 +117,6 @@ function _findBestFolderName(apps) {
 
 var BaseAppView = GObject.registerClass({
     GTypeFlags: GObject.TypeFlags.ABSTRACT,
-    Properties: {
-        'use-pagination': GObject.ParamSpec.boolean(
-            'use-pagination', 'use-pagination', 'use-pagination',
-            GObject.ParamFlags.READWRITE | GObject.ParamFlags.CONSTRUCT_ONLY,
-            false),
-    },
     Signals: {
         'view-loaded': {},
     },